Coherence of Associativity in Categories with Multiplication
نویسنده
چکیده
To say that C is a category with (functoral) multiplication means that there is a functor ⊗ : C → C called the multiplication where C is the category of pairs of objects and pairs of morphisms from C. [More technically, C is the category of functors and natural transformations from 2 to C where 2 is the category with objects 0 and 1, and the only morphisms are the identity morphisms.] Examples of functoral multiplications are cross products, tensor products, free products and so forth on those categories where those products exist. For most examples it is rarely the case that
منابع مشابه
. C T ] 2 9 Ju n 20 05 Associativity as Commutativity
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for strict symmetric monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degenerat...
متن کامل0 Se p 20 05 Associativity as Commutativity
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degener...
متن کامل2 3 Se p 20 05 Associativity as Commutativity
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degener...
متن کامل6 F eb 2 00 6 Associativity as Commutativity
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality an...
متن کاملar X iv : m at h / 05 06 60 0 v 3 [ m at h . C T ] 5 J ul 2 00 5 Associativity as Commutativity
It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for strict symmetric monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degenerat...
متن کامل